ocean — komma att fullkomligt uttömma Europas stenkolsfält , örn icke solen under tiden anlitas.