Nach gescheiterter „Säntis“-Bergung: Schiffsbergeverein muss den Seegrund aufräumen