järngrufvor dels i Tyskland,