A PHP-DateTime-Extension that holds UTC-DateTimes