Direção-Geral das Obras Públicas e Comunicações. Documentação diversa See original record