( 1223 ) P . Petterssen.