small hall in certain universities - German English Dictionary