Todo for updating the ExternalSources page.
Editorial: beginning now with the main constants.
Small rearrangements of definitions.
Editorial improvements.
Correction: Variables start with 1, not 0.
Todo on checking the size-constraints.