{$+01:00Friday000000120012.312023_bFriday202312.00Europe/Berlin313100121200.5000112Europe/Berlin3100.amFri, 01 Dec 2023 00:00:00 +01002023-12-01T00:00:00+01:001200000Europe/Berlin.122023123112Friam31Europe/BerlinDecember2023Fri, 01 Dec 2023 00:00:00 +010012am31} 2023