Public building used for mechanical parking.