arrondissement of Ribeauvillé — former arrondissement of France