( Divertissement ur “ Bockfoten- ).