invasion of “rump” Czechoslovakia