1 input Die_Stadt_ohne_Juden.html
5 remove <style type="text/css">
6 remove <div id="tnote-bottom">
7 ignore <span class="screen">
8 replace tag=img tag=todelete
9 replace tag=a;class=pagenum tag=latex;command=pagenum;title
10 replace tag=span;lang=la tag=latex;command=latein
11 replace tag=ins;title tag=latex;command=erratum;title
12 #replace tag=pre tag=latex;command=pglicensestuff
13 replace tag=div;class=right tag=latex;command=unterschrift
14 replace tag=div;class=center tag=envcenter
15 replace tag=span;class=gesperrt tag=latex;command=textit
16 replace tag=p;class=asterisk-break tag=latex;command=tb