ob + wohl | "wenn wohl; wenn auch"
(17. Jh.), älter obwoln, ob wol (16. Jh.), ob(e) … wol(e) (15. Jh.);
wenn auch; ungeachtet der Tatsache, dass …
