san marino. inaugurato il parco “san marino in miniatura”