Seol mar théacs é seo: Das Hohnsteiner Puppentheater