En esa misma web (mismo link) vas hasta abajo del todo y te saldra una barra para elegir dispositivo (movil, tablet), sistema operativo, modelo del dispositivo y region (en este caso espaņa). Una vez le des te saldran dos opciones, le das a la primera y le das a descargar.
Tambien hay otro modo que es irte a "hacker galaxy mini blogspot" (buscalo asi en google y en la primera direccion pinchas). Luego en esa web buscas la seccion "Stock Roms" y buscas la que quieras.
PD: Para descarar desde sammobile tienes que registrarte.