Brundibar, opéra pour enfants de Hans Kraja