Gaceta de la República: Diario Oficial, núm 145, 25 de mayo de 1937: