Mehrwertige_Logik loading ...