Josef Klus

Hi. Same issue.
I have RE-installed the Twenty Thirteen theme, inactive, after WP Tools told me to delete it since it was unused.
But now, how do I set it for ‘Default’…?
Thanks,
Josef