file update: straaling.tex