Addio a Penny Marshall: da "Happy Days" e "Laverne & Shirley" a regista di successo