The divDiv-complex and applications to biharmonic equations. Issue 9 (3rd July 2020)