empresa oficial, será juez competente el del lugar del domicilio del demandado, o