If Britain leaves the EU how much space will be freed up? 1 GB