Using the 2nd column here, ie. "TZ database name",
https://en.wikipedia.org/wiki/List_of_tz_database_time_zones#List
restart;
with(Calendar):
d1:=Date(timezone="Pacific/Auckland");
d1 := <Date: 2022-06-22T04:09:07 New Zealand Time>
d2:=Date(timezone="GMT+12:00")
d2 := <Date: 2022-06-22T04:09:07 GMT+12:00>
DateDifference(Date(timezone="Pacific/Auckland"),
Date(timezone="GMT+12:00"));
0
Format(d1);
"2022-06-21T12:09:07 EDT"
Format(d2);
"2022-06-21T12:09:07 EDT"