ingripande från våra statsmakters sida har gifvits genom händelserna i Kristiania den 19 juli detta år.