spanska regeringskretsar icke varit så uppbetsad som bland allmänheten.