HILOGIK Profil-Sätze und Zaungitter