Automatic animation
Like the hints on the overview page, this simple animated drawing starts automatically
when the page is loded. It can also be stopped by clicking on it. The svg-file consists
of an initial description of the graphic in svg, and javascript functions animating it by
setting new values for the endpoints of the lines. There are two time-based functions,
one moving the points to their new position, the other to repeat this movement with new values.