oeh 9,000 kr .)