den tredje hufvudpunkten i Holland efter Amsterdam och Haarlem.