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




