Die meisten nennen sie einfach "Großer Lin" und "Kleiner Lin". Nach einer Weile gewöhnt sich jeder daran!