Proof of the middle levels conjecture - Torsten Mütze (2014)