www.janthor.
de
has moved to
www.janthor.
com
Try
http://www.janthor.com/Lyapunov/fixed.html
instead.