Kraus dog nämligen 1792.