Deutsches Rechtswörterbuch (DRW): Bergfiskus