5 top tips from industry CEOs on how to navigate a company through the corona-crisis