"Jedermann" als Schauspiel und Puppenspiel im Welser Burggarten