Deutsches Rechtswörterbuch (DRW): Festtag