produced by Ch. Seifert