en grufarbetare Alra i Brunna grufva.