( 5267 ) H . Köcher.