I have heard the name, but had no idea that's how you pronounced it (I'd only ever read it; never heard it).

It's a fairly common German name, and they definitely don't pronounce it "coke" 😂