Konung Johan af Sachsen begrofs den 31 oktober i Dresden i den katolfla hofkyrkanskungliga