egde rum den 3 oktober 1880 ».