Deutsches Rechtswörterbuch (DRW): Herbstbadgeld