Diepenbrock, Dresden, Badings, Roussel Rotterdams Philharmonisch Orkest, Rotterdams Philharmonisch Koor