Wie viele Einwohner hatte Bern am ende des 13. Jhd.?