#7525 ¿Qué altura máxima tendrá un autobús?