( 3922 ) P . Tonninfl.