Seventeen Provincesball was a HRE state.