biggest machine of the world for coal in germany