Former shopping arcade