. "García Guinea, Miguel Ángel (1922-2012)"@de .