Text this: Der Bergbau in der Bundesrepublik Deutschland.