Deutsches Rechtswörterbuch (DRW): Eisenwidmungsgezirk