Explanatory Supplement to the Astronomical Almanac door P. Kenneth Seidelmann