a . från en dansk grufarbetare,