One of the oldest problems in the theory of quantum stabilizer codes is solved by proving the nonexistence of quantum [[13, 5, 4]]-codes.