Baureihe 17 steht für: