Tre grufarbetare , som hviladei