Beweis einer Neunfarbenvermutung für halbebene Graphen. - Hennes, Clemens (1972)