The German coal-mine Graf Bismarck is shut down.