German coal phase-out and global coal markets