Copy the contents of this box into a text editor, then save the file with a .svg extension.

Done