A short history of<i>SHELX</i>