Deutsches Rechtswörterbuch (DRW): Handhabungsmittel