Convert dates and times between Praia (Atlantic/Cape_Verde) and Shanghai (Asia/Shanghai). Handles daylight-saving automatically.