Video of Prof Hardy's funeral