Gibt es bei einem datetime.timeWert in Python eine Standardmethode, um eine ganzzahlige Anzahl von Sekunden hinzuzufügen, sodass beispielsweise 11:34:59+ 3 = 11:35:02? Diese offensichtlichen Ideen funktionieren nicht: >>> datetime.time(11, 34, 59) + 3 TypeError: unsupported operand...