på kommunens blott skulle hissasFlaggsaken i Kristiania.