> went to the judges
Which are part of the Spanish government.
Which are part of the Spanish government.
Judges in Spain are not part of the government ("Gobierno"). They are part of the Poder Judicial, the judiciary. The Spanish Constitution separates these clearly, give it a skim if you haven't already.
I guess broadly in English you'd say the judges are part of the state, but they're not a part of the Spanish Government.
Nothing here been a "gotcha" but basically Spanish-speaking people using English to communicate Spanish concepts to Americans who also speak English but have different understanding of those concepts. Nothing malicious here, just some good old misunderstandings :)