mar af hofoperan i Munchen.