( 3225 ) ( Tyskland *.