Hvad kallas himlen och de olika himlakropparne,