I get redirected to an image that I am sure is there to prevent direct linking, but I presume that's the right one. (Unfortunately I also get redirected from the maps page itself, ah well.)
Converting from .gif (raster) to .svg (vector) isn't an optimal solution. It can be done using a tracer program but the result will likely be either inaccurate and/or need lots of work to cleanup. The ideal .svg file would consist of multiple objects for easier manipulation.
Thanks for the reply though