The Database of Industrial Real Estate in Eastern Westphalia (Germany)