Benutzer Diskussion:DrTrigon/Entwurf/Basistransformation zur reellen JNF