Deutsches Rechtswörterbuch (DRW): Grubenschuld