German industrial output jumps 1.2% in May