Wie viele Kinder hatte König David?