I've close to 600 names in my database at this point, but haven't seen those names yet. But I'm working with early 19th c. records, and not mid-century or later (if that would make a difference). Try running those names through MyHeritage, because even without being a subscriber you'll get *some* information. A lot of Germans are posting their trees there, and you never know…. Good luck!