"Die Nase" an der Hamburgischen Staatsoper