för tjenstemännen ' och 83,777 kr.