Forthmann’s fact check with Frank Jendrusch: Vertical cities