med 72 000 kr. , till tjenstemäunenspen