/* Aus dem beim Spiegeln gemessenen Zustand erzeugt.
   Nicht von Hand aendern — wird von korrigieren.py neu geschrieben. */