The Weyl–von Neumann theorem and Borel complexity of unitary equivalence modulo compacts of self-adjoint operators. Issue 6 (29th October 2015)