Tycho , Hillstedt , utkl.