Five favourite places to stop or shop in Palma Old Town, Mallorca (August 2020)