Search bar is gone with material >= 9.0

Thus, tie it to last 8 version

assigned to @mflehmig--tu-dresden.de

requested review from @mflehmig--tu-dresden.de

approved this merge request

merged

mentioned in commit 38167fc2

mentioned in issue #460 (closed)

mentioned in merge request !1024