/* It is hour 23 in Germany. */