Function to print a time zone abbreviation for a given time zone at a given date

I want to get the time zone from a date+time plus location. Some cities in the world exist in different time zones, depending on the time of the year.

Something like `TIME_ZONE_ABBREVIATION(dateTimeExpression, timeZoneLocation)`.

2022-01-01 00:00:00 in Europe/Amsterdam should give CET.

2022-06-01 00:00:00 in Europe/Amsterdam should give CEST.

2022-01-01 00:00:00 in Europe/Istanbul should give EET.

Time zone information is not stored along date time values, which make this a hard or impossible task to work around.