How Rich is Marina Verdú?