ifo Schätzung der Kurzarbeit im Dienstleistungssektor im Mai 2020 in Deutschland