German Factory Output Jumps to an 18-Month High