Es gibt eine in Deutschland wenig bekannte englische Theatertradition, die alljährlich zu Weihnachten neu gefeiert wird: Pantomines, kurz Pantos. Ein Panto ist mitnichten ein Pantomimen-Schauspiel im deutschen Sinne, sondern kurzweilige Familienunterhaltung mit Sprache und Musik. Das Genre entstand bereits im 17. Jahrhundert auf den Britischen Inseln; es ist eine Mischung aus Komödie, Märchen und Musical.…