Robbie Coltrane Hagrid in Harry Potter films dies at 72