Not quite. But there’s much more robust immigration, which means that the already-large Texasdeutsch population gets significantly larger. And when the Texian Revolution kicks off in the 1890s, Germans and their descendants are at the forefront, eventually ending up forming the Imperial Family.