att presidenten samt ledamöter och tjenstemän ega uppbära tjenstgöringspenningar endast för den tid de verkligen äro tjenstgörande eller åtnjutasemester