Puppentheatertage 2023: Genuss mit 2.500 Köstlichkeiten