end time
- the end of the
time domain
(see there).
© ppgb 20060714