diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/dmeindl/thol.tex
Binary file src/Doc/isac/dmeindl/thol.tex has changed