head of coal mining workers union t252rke karl