Deutsches Rechtswörterbuch (DRW): Heftpfennig