The time here in central Europe is 1:02 AM. What time is it in Texas?