debugging

source/OneDimDevice.en.tex

 \begin{mhmodnl}{OneDimDevice}{en}
   \begin{definition}
     A \trefi[Device]{device} is called \defi{one-dimensional}, iff all of its
-    \atrefi[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
+    \atrefii[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
     translation-invariant in two directions
   \end{definition}
 \end{mhmodnl}

source/PhysicalConstants.tex

-% sTeX file automatically generated from OMDoc/MMT file, needs to be adapted 
-\begin{modsig}{PhysicalConstants}
+\begin{modsig}[id=PhysicalConstants]
   \gimport[smglom/arithmetics]{scinotation}
   \importmhmodule[repos=BaseMH/physics,path=units/en/energy]{energy}
   \importmhmodule[repos=BaseMH/physics,path=units/en/temperature]{temperature}

source/TwoDimDevice.en.tex

 \begin{mhmodnl}{TwoDimDevice}{en}
   \begin{definition}
     A \trefi[Device]{device} is called \defi{two-dimensional}, iff all of its
-    \atrefi[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
+    \atrefii[Device]{properties}{device}{property} \trefi[DeviceGeometry]{domain} are
     translation-invariant in one direction.
   \end{definition}
 \end{mhmodnl}