so soll der Eigentümer der Grube Ersatz leisten: mit Geld soll er den Eigentümer des Tieres entschädigen; das tote Tier aber gehört dann ihm. –