In spite of the many many hours of work, even more cups of coffee and quite a few sausages and pretzels consumed in the course of writing the following sections, this manual does not claim to be complete. The chapters will be revised and/or amended periodically for continual improvement.