» normal-arhetsdag * )?