hask.tex und ein wenig mehr