Hofoperntheater).