Deutsches Rechtswörterbuch (DRW): Lach(en)stein