koppergruven is the masculine singular definite of koppergruve.