( 3225 ) ( Tyskland !.