En Tycha-Brahedag synes den 17 december,