Residential area on the roof of a shopping mall