@cstross you’re totally right. Just a small reminder that Poland was invaded by Germany AND Russia in 1939.