*** Almanac for the currently specified date ***:
Almanac for Roque de los Muchachos:
long.   1 11 31 (h.m.s) W, lat.  28 45.5 (d.m), elev.  2326 m
pseudo-Greenwich Daylight Savings Time assumed from 2 AM on
2000 Mar 26 to 2 AM on 2000 Sep 24; standard zone =   0 hrs W

For the night of: Mon, 2000 Jun 12 ---> Tue, 2000 Jun 13
Local midnight = 2000 Jun 12, 23 hr UT, or JD 2451708.458
Local Mean Sidereal Time at midnight =  15 14 46.3

Sunset ( 2326 m horizon):   21 18 GDT; Sunrise:    7 05 GDT
Evening twilight:   22 44 GDT;  LMST at evening twilight:   13 59
Morning twilight:    5 39 GDT;  LMST at morning twilight:   20 54
12-degr twilight:  22 10 GDT -->   6 13 GDT; night center:    2 11 GDT

Moonset :    5 07 GDT   
Moon at civil midnight: illuminated fraction 0.856
3.8 days since first quarter, RA and dec:  14 27 59,  -9 54.0

The sun is down for  9.8 hr;  6.9 hr from eve->morn 18 deg twilight.
 0.5 dark hours after moonset and before beginning of twilight.