Ivan, List,
Lidls are selling a universal laptop adaptor next week for £24.99 with plugs to fit the inputs on most popular laptops.
However I did spot this even more useful device for just £14.99
http://www.ultimateaddons.com/Universal_Chargers/Laptop_Chargers/120w_Universal_A/C_Laptop%20Adapter___795.htm?FeaturesIt has switch selectable dc outputs for popular voltages
DC voltage selector 15v, 16v, 18v, 19v, 20v at 6A Max and 22v, 24v at 5A max.
The 15V output through a couple of big diodes or bridge rectifier would make a useful 12V battery charger.
These universal input devices will often run down to about 90V dc input, so would make a useful dc/dc converter for running low voltage dc equipment directly off the inverter battery.
Ken