Áfa-visszaigénylés külföldi cég esetében

Tisztelt Szakértő! Egy lengyel cég 2018-ban bejelentkezett a magyar áfa hatálya alá, kért, kapott adószámot. A vállalkozásnak magyarországi állandó telephelye nincs. A vállalkozás szerződést kötött egy magyarországi társasággal egy technológia berendezés kamráinak töltőnyílásainál lévő falazat átépítésére. A technológiai kamra (szakértői véleményezés alapján) ingatlannak minősül így a szolgáltatás teljesítés helye az ingatlan fekvése szerinti ország (Magyarország). A szolgáltatásról az első számlát a vállalkozás a magyar adószámáról állította ki, amelyet később sztornózott. A számla befogadóval történő egyeztetés során derült ki ugyanis, hogy az áfatörvény 140. § b) pontja alapján nemzetközi fordított adózás alkalmazandó, mert a szolgáltatás teljesítési helyét a fentiek alapján az áfatörvény 39. §-a alapján kell meghatározni, és a szolgáltatás igénybe vevője Magyarországon nyilvántartásba vett adóalany, és a szolgáltatás nyújtójának Magyarországon nincs állandó telephelye. Így a szolgáltatásról kiállított számlát végül a lengyel cég közösségi adószáma alól bocsátották ki. Az átépítési munkálatok 2018-2020 évben zajlottak. A lengyel cég ez alatt az idő alatt vett igénybe Magyarországon szolgáltatást, ingatlanbérlet formájában, és kisebb értékben eszközöket is vásárolt. A számlát minden esetben a magyar adószámára kérte. A számlákat az adóbevallásában szerepeltette, az áfa tartalmukat levonásba helyezte. Helyesen járt-e el, jogosult-e az áfa levonására, illetve annak visszaigénylésére?