Mistä nimi Tyko Brahen supernova tulee?