Minor changes during merging
Minor changes during merging
Most of the merge of the new Allmenningen has been completed.
Merge of Allmenningen.