Statistik: Gastgewerbeumsatz im Mai leicht gesunken