mandag „ 12,25 e.m. ; „ „ torsdag ].