#Lipschitzallee

#