Funeral for slain Dutch soccer linesman