I'm aware that it likely would not have happened if he had moved the stuff beforehand. We are fairly new here and were extremely naive in assuming something like that wouldn't happen here.

Guyc, our insurance only covers house theft. We had the most basic type without any extras. We found out after it happened that insurance to cover theft from your car only costs an additional CHF 70 per year.