changed formeln.json and navigation.html