Germany is still going to use the same amount of coal whether this runs or not, they'd just import it from another country or have another mine go faster if there's one that still can

The way to reduce coal is to increase low carbon sources of energy and to reduce consumption