Duitse economie krimpt met 5 procent door coronacrisis