Home News British deep coal mining at an end