In 1941, the General Anaya borough was merged to the Central Department, which was then renamed "Mexico City" (thus reviving the name, but not the autonomous municipality). When was the General Anaya borough officially merged into Mexico City?