faecher:informatik:oberstufe:techinf:formale_logik:kv_diagramme:start