Deutsches Rechtswörterbuch (DRW): Juchertmahl?