( Die Fledermans ).