^*Burckhardt was a pseudonym; his real name was Rudolf Jung.