Denna dag är ' en s. k , Tycho Brahedag.