Wozzeck en de misère van de gewone man Radio Filharmonisch Orkest, Groot Omroepkoor, Nationaal Kinderkoor
