baufeiertag,
der
.
›gesetzliche Freizeit im Bergbau‹;
zu
bau
16.

Belegblock:

Rwb
1, 1290
(a. 
1408
).