åtgärden hos en domare eller tjenstemani