typos, renamend Fritz back to Franz