Fodnoter til 1 Kng 22,35