That sounds great!
By the way, you can also spell it out as:
Fredrick Toeben (that's the official,
full-out, orthography of German without diactrics).
In the
“U.S. English Int'l” keyboard layout in
Windows operating systems, above “2000,” there's the key-combination:
R.ALT + P; the
deadkey:
" + O.
Or,
you could use my custom-made Latin script [transliteration] keyboard, available here (which provides the same
deadkey combination and functionality).
Some other examples:
- Führer → Fuehrer
- Übermenſch → Uebermensch
- Jäger → Jaeger
A reversed example, something that has always been written like that in German for some reason: