Deutsches Rechtswörterbuch (DRW): Schiffsbediente