Auf der Walensee-Bühne wird «Heidi» neu inszeniert