A version of this page that works locally as well as offline is available at https://weitz.de/files/TypeTeXOffline.zip.
Copyright (c) 2019, Prof. Dr. Edmund Weitz. Impressum, Datenschutzerklärung.