If anyone is interested, there is an interesting feature on Dresden Haubtbahnhof in “The Architecture The Railways Built” program. It is in the middle of the Branhope Tunnel episode aired on 4 October on Yesterday channel and, for UK viewers, it is available to watch on UKTV Player. https://uktvplay.uktv.co.uk/shows/the-architecture-the-railways-built/watch-online/6273326669001