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