Deutsches Rechtswörterbuch (DRW): (Heiliggeistpfennig)