Don Pedro ist vermutlich dauerhaft geschlossen.