baufeiertag,
der
.
›gesetzliche Freizeit im Bergbau‹.

Belegblock:

Rwb (a. 
1408
).