Massive pay increase for German industrial workers