The ubiquitous double-decker bus