Deutsches Rechtswörterbuch (DRW): Boxmann