A happy birthday to Mario Girotti (80 years)