( 1231 ) P . E. Petterson.