Den 13 — det är ju en Tycho Brahedag!