Ho dimenticato di esprimere il mio apprezzamento per il commento di georgia  (10 luglio 23:59). Lo faccio ora.