Deutsches Rechtswörterbuch (DRW): ausgemärkt