Additions and corrections to ``Terminal coalgebras in well-founded set theory''
scientific article; zbMATH DE number 540878