satz2300 satz300
10298_t8 satz298k
7268_t7 satz298f
10298_t2 satz298d
10298_t1 satz298b
9296_t14 satz296
8275_t97 satz275
7271_t11 satz271a
7269_t3 satz269
3227_t6 satz227
3226_t13 satz226
r_ispl2 satz188l
r_ispl1 satz188e
r_ism0 satz183b
rp_ists2 satz145e
rp_ists1 satz145b
rp_ispl2 satz135e
rp_ispl1 satz135b
2123_a satz123b
2123_b satz123a
rt_ists2 satz105e
rt_ists1 satz105b
rt_ispl2 satz96e
rt_ispl1 satz96b
eqtf2 satz72e
eqtf1 satz72b
367_t6 satz67c
eqpf2 satz62e
eqpf1 satz62b
n_ists2 satz32e
n_ists1 satz32b
ispl2 satz19e
ispl1 satz19b
n_29_a satz10b
n_29_b satz10a