5 Who determined its dimensions and stretched out the surveying line?