Cochinchina menù, München