( 3225 ) ( Tyskland ).