rlotter i Kristiania den 17 Juli.