( 3225 ) ( Tyskland ».