hjmarseille - Mauno Koivisto (born November 25, 1923) was the...