Deutsches Rechtswörterbuch (DRW): Michaelsheuer