( 3922 ) P . Tonning.