梁思成愿景里的“古城公园”，北京没有实现，大同实现了