( 3012 ) O.RICHTER