Deutsches Rechtswörterbuch (DRW): (Ochtemzehnt)