überfluteter Raum mit Wasser durch defekte Pumpe, keine weiteren Massnahmen notwendig