högtidsdag i dag firas af grufarbetare.