I put some air into the tires and it rode fine.
Unfortunately, the bike mechanic installed a different front wheel (Miche hub, Grünert rim) at the time, and the original front wheel with the Suntour XC pro hub and IRC X1 tyre probably ended up in the scrap heap.
Fortunately, I still had a...