Deutsches Rechtswörterbuch (DRW): Grubenzins