Deutsches Rechtswörterbuch (DRW): Eisenknecht