What is the English translation of E Lucevan le Stelle?

e lucevan le stelle is an aria from Puccini's great Opera Tosca. The aria is sung by the character Mario Cavaradossi, who is waiting for his execution and remembering his love for Floria Tosca. The line means: and the stars were shining.