The switching is a bit of a hassle, since I have to remove and turn off my hearing aids (which I would only do in private anyway), before putting in the AirPods. And the reverse, after the call has ended.
Therefore, it would be very convenient if I could just switch to better input microphones, like the MacBook's. I'll give this a try.
If anyone knows if this is also possible on iOS, please leave a comment.
Edit: Thanks to other comments I've learned, that switching to another microphone is built into macOS.