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