( Antonienhutte n:o 1)