Five-branes and M-theory on an orbifold

We relate Type IIB superstrings compactified to six dimensions on K3 to an eleven-dimensional theory compactified on (S^I)⁵/Z2. Eleven-dimensional five-branes enter the story in an interesting way.