Radio Filharmonisch Orkest – Die Walküre (konzertant)