Fußnote a Es ist verboten, dem Stier die Hörner zu stutzen, dennoch wird das in Spanien häufig getan.