[jvdh]

Fortunately it is really easy to print it in other formats. Which is certainly not the case for the standard datetime library.