German manufacturing shrinks at fastest in three years in May