Naast de Michelinster(ren) is ook het predikaat 'vermelding' alleen hoor je daar nooit wat over. Hoe zit dat?