Ein spanischer Bekannter sagte mir, dass das Restaurant seit 16. Juli wieder geöffnet sein soll. Ohne Gewähr!