( Antonienhutte och Laulshutte)