Deutsches Rechtswörterbuch (DRW): Berghospital