Ja ... es hat wohl noch niemand angezweifelt, dass es auf einem Schiff eine gute Idee ist mit dem Pumpen zu beginnen, bevor das Schiff untergegangen ist. Und schon gar nicht, wenn man selbst sich auf dem Schiff befindet.