Konvertieren einer Zeichenfolge in eine formatierte Datums- / Uhrzeitzeichenfolge mit Python

Ich versuche, eine Zeichenfolge "20091229050936" in "05:09 29 December 2009 (UTC)" umzuwandeln.

>>>import time
>>>s = time.strptime("20091229050936", "%Y%m%d%H%M%S")
>>>print s.strftime('%H:%M %d %B %Y (UTC)')

gibtAttributeError: 'time.struct_time' object has no attribute 'strftime'

Klar, ich habe einen Fehler gemacht: Zeit ist falsch, es ist ein Datum / Uhrzeit-Objekt! Es ist ein Dateund eine Zeitkomponente!

>>>import datetime
>>>s = datetime.strptime("20091229050936", "%Y%m%d%H%M%S")

gibtAttributeError: 'module' object has no attribute 'strptime'

Wie soll ich eine Zeichenfolge in eine formatierte Datumszeichenfolge konvertieren?