Portugal 25 Escudos 1985 Münze km 627