någon venstergrossör i Kristiania.