(stöhnt) Der Leiter muss die Pumpen abgestellt haben, um zu verhindern, dass noch mehr verloren geht.