Definitions

[1] Doppelsterne (zwei Sterne die mit ungeübtem Auge nicht differenzierbar sind)