I Badajoz hörde man den 10 dennesen