arvode åt tjenstemän och betjening för eftermiddagstjenstgöring ; 4.000 kr.