men deh tjenstemän kostade ärligen 30,000 pd sterling.