Guipúzcoa aprueba la modificación del nombre oficial de la capital guipuzcoana, que queda en 'Donostia/San Sebastián'