Direção-Geral de Obras Públicas e Comunicações / Serviços Centrais. Diversos See original record