Construction of the miners' town in Raša (1936/37) - Manin, Marino (Array, 2020)