( 711 C . O. von Porat.