( 3246 ) Intendenten.