Deutschlands Service-PMI übertrifft die Prognose bei 48,1 im Mai