Double-decker buses and other agencies