$_GET["VOLLTEXT"] = Haubitz + Zoche
z12 $w_volltext_INPUT = Haubitz + Zoche
z31 $w_volltext_INPUT = Haubitz + Zoche
z49 $w_volltext_suche: Haubitz|Zoche
z87 $w_volltext_INPUT: Haubitz + Zoche