Hallo Gerd, vielen Dank für Deine Mühe.
Wenn die Gerüchteküche stimmt, hat sich die Angelegenheit sowieso erledigt.
Ich habe heute gehört, das das Los Patios geschlossen ist.