Think its SECURITY (in German its "Sicherheit" App), then Blocklist ("Sperrliste")
You have following options to add to the List: 1. Telephone Numbers 2. Area Codes 3. Contacts
Normally, its both "+" and "00" possible for doing that, and because there is no "+" on the xiaomi, i used "00"...