Martin Thoma af1ac9266c adjusted makefiles to add animation vor 12 Jahren
..
Animation.gif af1ac9266c adjusted makefiles to add animation vor 12 Jahren
Animation.tex a9a73319a3 misc vor 12 Jahren
Makefile af1ac9266c adjusted makefiles to add animation vor 12 Jahren