The non-existence of a [[13,5,4]] quantum stabilizer code

We solve one of the oldest problems in the theory of quantum stabilizer codes by proving the non-existence of quantum [[13,5,4]]-codes.