Aufgrund eines technichen Defekts ist Wasser an einem Whirlpool ausgetreten.
Das ausgetretene Wasser wurde mittel eines Wassersaugers abgepumpt.