— Flaggsaken i Kristiania.