— Bergens folkmängd utgjorde den31