Did coal production already peak somewhere?