> 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.
The judiciary is part of the government. Being an independent branch doesn't change that. Government doesn't just mean legislative.
The judiciary is part of the government. Being an independent branch doesn't change that. Government doesn't just mean legislative.