högtidsdag i dag firas : af grufarbetare.