Den 17 och 21 juli äro " Tycho Brahedagar ".