Trondhjems folkmängd uppgick den31