var searchData= [ ['jungfrau_0',['Jungfrau',['../namespaceaare.html#a5b95afba95553c1e118e1478c69042f7ab2c7db922623442a04314d3c941a336b',1,'aare']]] ];