Made second rule of '07:00+,12:00-16:00; 16:00-24:00 closed "needed because of open end"' obsolete. Related to #48.

Does not yet handle time wraps over midnight.