Wieviele Tonnen Steinkohle liegen jetzt noch in Deutschland und könnten abgebaut werden.