Kristiania den 9 Oktober.