Talk:Tycho Johannes/@comment-24494906-20151010141116

Is his name "Tycho Johannes" or "Johannes Tycho"? Hm...