personal.tex now UTF8
header.tex: lualatex needs different font settings
ws12 final commits
cleanup.sh
cleanup.sh
tut01
-x, beamerthemeTutorium not used any more
cleanup