Germany's industrial output ticks up 0.4% in June