Prague on the last day of October.