4C 41.17 - A radio galaxy at a redshift of 3.8