Deutsches Rechtswörterbuch (DRW): Schiffnefning