Don Pasquale Donizetti, De Nederlandse Operastichting, Amsterdams Philharmonisch Orkest, Nederlands Kamerkoor