Gesetz über Rechte an eingetragenen Schiffen und Schiffsbauwerken
§ 80 

Auf die Versicherungsforderung erstreckt sich die Schiffshypothek nur, wenn der Eigentümer für das Schiffsbauwerk eine besondere Versicherung genommen hat.