high gallery (theater) - German English Dictionary