( 3075 ) C . O. von Porat.