Das kleine Sankt-Martin-Spiel.