rilorsdagen den 13 Maj 1880kl.