tändsticksfabrik 2,500 pund ( — 45,000 kr. ).