RSS pubDate umwandeln

Moin,

ich hatte die Frage gestern schon einmal in den Raum geworfen, bis jetzt jedoch noch nicht die perfekte Lösung gefunden.

Es geht darum, ein Datum in diesem Format:

Mon, 06 Feb 2012 20:44:43 GMT

in dieses zu bringen:

06 Februar 2012, 20:44

So weit gehts bisher (danke an Blume für den Tip):

$time = "Mon, 06 Feb 2012 20:44:43 GMT"

$newtime = StringRegExpReplace($time, _
'([a-zA-Z]{3}), ([0-9]{2}) ([a-zA-Z]{3}) ([0-9]{4}) ([0-9]{2}):([0-9]{2}):([0-9]{2}) ([^ ]*)', _
'$2 $3 $4, $5:$6')

MsgBox(0,0,$newtime)

Wäre aber noch eine Sache... Wie bekomme ich den Monatsnamen richtig dargestellt? Mir persönlich wäre es am liebsten, wenn die Anzeige abhängig von der Systemsprache erfolgt d.h. auf einem deutschen System "Februar", auf einem englischen System "February", usw...

Nun könnte ich erst einmal versuchen, den angezeigten Monatsnamen in eine Zahl umzuwandeln und dann mit einer Funktion wie etwa _DateToMonth werkeln. Ist aber für meine Zwecke ebenfalls nicht unbedingt ausreichend, da es ja nur den englischen Namen zurück gibt.

Gibt es eine gute Möglichkeit, mein Vorhaben umzusetzen? Vielleicht sogar anders, oder gar einfacher? Bin für jeden Tip dankbar

Sieht schonmal nicht schlecht aus Mal schauen, ob ich das für meine Zwecke nutzen kann. Danke dir