franz miklosich