( Antonienhutte och Paulshutte)