för Topografiska korpsens arbeten 12 , 000.