Deutsches Rechtswörterbuch (DRW): Einmarkung