Die Flammen hatten sich nach Polizeiangaben bei Schweißarbeiten in einem Raum für Pool-Equipment entzündet. Es kam zu einer starken Rauchentwicklung. Das Feuer konnte inzwischen aber gelöscht werden -Zur Schadenhöhe gibt es noch keine Infos.