Also bei uns hat er neben Basti und Bastl auf oft den Beinamen Zwergl oder Mäusekind. Was für Namen gebt ihr euren Zwergen denn ausser dem richtigen der meist nur gesagt wird "wenn es ernst wird" ;-)