% Zur Bemaßung in PicTeX

\font\hrm=ecrm0600
\newcommand{\hpfeil}[1]{\betweenarrows {\hrm #1} [b] from}
\newcommand{\vpfeil}[1]{\betweenarrows {\hrm #1} [r] from}


\newcommand{\dstack}[3]{\vbox{\hbox{#1}\hbox{#2}\hbox{#3}}}

\newcommand{\hfenster}[5]{
   \put{\line(0,1){10}} [Bl] at #2 #3 %
   \put{\line(0,1){10}} [Bl] at #4 #5 %
   \hpfeil{#1}    #2 #3 to #4 #5
}

\newcommand{\vfenster}[5]{
   \put{\line(-1,0){10}} [Bl] at #2 #3 %
   \put{\line(-1,0){10}} [Bl] at #4 #5 %
   \vpfeil{#1}    #2 #3 to #4 #5
}

\newcommand{\hmasz}[3]{
   \put{{\hrm #1}} [Bl] at #2 #3 %
}

\newcommand{\vmasz}[3]{
%   \put{\mbox{\raise3mm\hbox to 0pt{\hss\hrm #1\hbox to 1mm{\hfil}}}} [Bl] at #2 #3 %
   \put{{\hrm #1}} [Bl] at #2 #3 %
}

