Deutsches Rechtswörterbuch (DRW): Heinlein