Madrid public pools with diving boards? Hello I will be visiting madrid for the first time at the end of august and staying at ok hostel. Are there any public pools around there that has a diving board and open to the public?