La séptima casa más cara de España se encuentra en el Port d’Andratx por 24,5 millones de euros, según idealista