The malcontents of the Old World: German revolutionaries in early Texas (1842-1865)