den 15 oktober 1880 , härigenom kungöres.