i tidens ocean — komma att fullkomligt uttömma Europas stenkolsfält,