Buda, Ocnele Mari hartă orașului