pund ( = 45 000 kr. ).