New DateTimeFormatter class for dates in other timezones and languages

New PR for jenkins: #12383
I had that set to 5.4 somehow...