örn festspelets storartade anläggning , då manhör