Deutsches Rechtswörterbuch (DRW): Eisensteinverschleiß