请解释一下「鲁厉公」这个词的含义。