Welches heute gebräuchliche deutsche Wort wurde von Martin Luther bei seiner Bibelübersetzung geprägt?