A SMIL animation - the 3rd type of SVG animation possibility compared to JS or CSS animation.
Doesn't seem to work here, although it does in a separate file: