  We study homotopy theory of the wheeled prop controlling Poisson structures
on arbitrary formal graded finite-dimensional manifolds and prove, in
particular, that Grothendieck-Teichmueller group acts on that wheeled prop
faithfully and homotopy non-trivially. Next we apply this homotopy theory to
the study of the deformation complex of an arbitrary Maxim Kontsevich formality
map and compute the full cohomology group of that deformation complex in terms
of the cohomology of a certain graph complex introduced earlier by Maxim
Kontsevich in [K1] and studied by Thomas Willwacher in [W1].
