[@Aisling] Yup. Germany is 357,168km² big and the area of Texas is 696,241km².