Fodnoter til 1 Kng 2,32