( Antonienhutte och Paulshiltte)