Did Frederick the Great's personality change after Von Katte's execution, or was his obsession with the military afterwards consistent with his personality prior to Katte's death?