Vielen Dank für die Antworten bisher. Daheim nehme ich eine große Standpumpe, die seit über 25 Jahren klag- und problemlos ihre Dienste verrichtet. Ein Akku-Kompressor wäre für mich ein Ersatz für eine Minipumpe, mit denen ich noch nie zufrieden war, egal welcher.
Xiaomi wäre nach allem, was ich bislang an Infos gefunden habe, auch mein Favorit, es gibt sie schon für unter 35,- Euro. Aber vielleicht kommen ja noch Beiträge, die mich umstimmen ...

Gruß
Uli