den s. k. sommarriksdagen år 1887.