Destatis: Mehr Baugenehmigungen im Mai