allmänheten blef domen bekant genom extra-blad , hvilka utsändes en timma efter det domen afku^nats.