Die Formel kann man nicht so streng sehen! Es ist egal, ob 0,5 oder 0,8s.
Man muss selber entscheiden, welche "Länglichkeit" der Sterne man akzeptiert. Wenn man perfekte Punkte (Kreise) haben will, sollte man eher sogar auf "100" statt "200" bei der Formel nehmen.
Man hat ja auch ein gewisses Bildfeld. D.h. die angegebene Deklination stimmt für EIN Objekt - am Rand schaut es schon wieder anders aus...
Schärfer wird es bei ISO6400 sicher nicht - auch wenn vielleicht die "Bewegungs"-Unschärfe geringer wird. Dafür wird das Rauschen zu starke. ISO800-ISO3200 dürfte sich am besten eignen.
__________________
|