Bytet af Nederland mot Bayern,