"The formality theorem gave deep insight into the homological algebra of smooth functions on a manifold. Many applications have grown out of this investigation, too many to mention here. ... the author explains its implications together with its origins in the theory of quantization. This is a valuable contribution since the formulation of the statement requires some sophisticated preparation, which is carefully discussed in this booklet." (Stefan Waldmann, Mathematical Reviews, February, 2016)