When Martin Luther King Jr. was born in Atlanta, Georgia on January 15, 1929, his birth certificate listed his name as “Michael King Jr.” – after his father Michael King Senior. How and when did Michael King become Martin Luther King?
https://github.com/davepinch/pinchy.cc/blob/master/content/sites/german-way.com/martin-luther-king-jr-in-berlin.md