baufeiertag,
der
.
›gesetzliche Freizeit im Bergbau‹.

Belegblock:

Rwb
1, 1290
(a. 
1408
).