Symfonieorkest De Philharmonie en Nederlands Concertkoor: Mahlers Tweede symfonie