Siverny is not part of the Kingdom of Kriegstein, just in a personal union with it. It was never a party to the Treaty of Castille.