What did the German DIN 4512 supersede