varit en provins under den ungerska staten , hvarken enligt den pragmatiska sanktionen ej heller enligt konventionen.