( 3046 ) C . O. von Porat.