tjenstemän af 5,400 kronor.