Rüstungsindustrie: Marineschiffbauer TKMS geht am 20. Oktober an die Börse