 There is probably going to become a big government crisis in Germany. Maybe as early as tomorrow as they're putting the budget for 2025 together. And those who are opposed to a huge military expenditure are supposed to be up in arms, no pun intended. All right, as I look through my notes here.