The seventh-largest Spanish company #1 Post by whitehexagon » Wed, Dec 31, 2025, 3:59 PM UTC The seventh-largest Spanish companyen.wikipedia.org