§ 115
(1) 1Das Pfandrecht erstreckt sich auch auf einen Ersatzanspruch, der dem Schiffseigner wegen des Verlustes oder der Beschädigung des Schiffes gegen einen Dritten zusteht. 2Das gleiche gilt hinsichtlich der Vergütung für Schäden an dem Schiff in Fällen der großen Haverei.
(2) Das Pfandrecht erstreckt sich nicht auf eine Forderung aus einer Versicherung, die der Schiffseigner für das Schiff genommen hat.
(3) Soweit der Schiffseigner die Entschädigung oder Vergütung eingezogen hat, haftet er in Höhe des eingezogenen Betrages den Schiffsgläubigern persönlich in gleicher Weise wie bei Einziehung eines Erlöses (§ 113).