Wann ist die Post an die Börse gegangen?