Is the global dominance of the Gregorian calendar down to colonialism or does it have practical advantages over lunar calendar systems?