What was the nationality of the person Jansen was named after?