Jungename gefunden

Leo finde ich super. Ist doch ein optimaler Kompromiss in eurem Fall. Leo klingt modern und frech, trotzdem geht er als klassischer deutscher Name durch :)

Leonard (oder besser noch "Leonhard") finde ich fast noch ein wenig schöner, aber wenn klar ist, dass er eh nicht so gerufen werden soll, würde ich mich gleich für die Kurzform entscheiden.