From 2e544c1e6d67740f8b05cbfef7e5b5d6f4ac3d06 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Fri, 9 Aug 2019 10:38:54 +0200
Subject: [PATCH] ++doc

---
 doc/Introduction.tex  |  34 +++++++++++++++++++++++++++++++---
 doc/Makefile          |   6 ++++++
 doc/Thesis.tex        |   3 ++-
 doc/appendix.tex      |   2 ++
 doc/graphviz/test.dot |   3 +++
 doc/graphviz/test.png | Bin 0 -> 6709 bytes
 doc/plan.org          |   3 ++-
 doc/preamble.tex      |   2 ++
 doc/refs/refs.bib     |   6 ++++++
 9 files changed, 54 insertions(+), 5 deletions(-)
 create mode 100644 doc/graphviz/test.dot
 create mode 100644 doc/graphviz/test.png

diff --git a/doc/Introduction.tex b/doc/Introduction.tex
index 847f682..1ba1216 100644
--- a/doc/Introduction.tex
+++ b/doc/Introduction.tex
@@ -8,7 +8,7 @@ In this chapter we give an introduction about the topic of the master
 thesis, the motivation and problemes that we address.
 
 % ----------------------------------------------------------------------
-\section{\label{introduction:motivation}Motivation}
+\section{\label{introduction:ipv4ipv6}IPv4 exhaustion and IPv6 adoption}
 The Internet has almost completely run out of public IPv4 space. The
 5 Regional Internet Registries (RIRs) report IPv4 exhaustion world wide
 (\cite{ripe_exhaustion},
@@ -27,12 +27,12 @@ exhaustion for 2020 (see figure \ref{fig:lacnicexhaust}).
 \end{figure}
 
 On the other hand IPv6 adoption grows significantly, with at least
-three contries (India, US, Belgium) surpassing 50\% adoption
+three countries (India, US, Belgium) surpassing 50\% adoption
 (\cite{akamai:_ipv6_adopt_visual},
 \cite{vyncke:_ipv6_deploy_aggreg_status}).
 
 \cite{cisco:_ipv6}). Traffic from Google users reaches almost 30\% as
-of 2019-08-08 (\cite{google:_ipv6_googl}).
+of 2019-08-08 (\cite{google:_ipv6_googl}, see figure \ref{fig:googlev6}).
 
 \begin{figure}[h]
   \includegraphics[scale=0.2]{googlev6}
@@ -42,6 +42,34 @@ of 2019-08-08 (\cite{google:_ipv6_googl}).
   \label{fig:googlev6}
 \end{figure}
 
+% ----------------------------------------------------------------------
+\section{\label{introduction:motivation}Motivation}
+IPv6 nodes and IPv4 nodes cannot directly connect to each other,
+because the protocols are incompatible to each other.
+To allow communication between different protocol nodes,
+several transition mechanism have been proposed
+\cite{wikipedia:_ipv6}, \cite{rfc4213}.
+
+However installation and configuration of the transition mechanism
+usually require in depth knowledge about both protocols and require
+additional hardware to be added in the network.
+
+In this thesis we show an in-network transition method based on NAT64
+\cite{rfc6146}. Compared to traditional NAT64 methods which require an
+extra device in the network, our proposed method is transparent to the
+user. This way neither the operator nor the end user has to configure
+extra devices, besides the
+
+
+
+are incompatible protocols (i.e. host connected by
+IPv4 only cannot cannot directly connect to IPv6 hosts and vice
+versa),
+
+In this master thesis we focus on the mechanism ``NAT64'' that
+translates
+This development motivates companies and users
+
 Make it easier
 take away burden
 
diff --git a/doc/Makefile b/doc/Makefile
index cb3eecc..86acd3d 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -10,3 +10,9 @@ all:
 
 clean:
 	rm -f *.dvi *.log *.aux *.bbl *.blg *.toc *.lof *.lot *.cb *.~
+
+all-graphviz:
+	for dot in graphviz/*.dot; do make $${dot%%.dot}.png; done
+
+graphviz/%.png: graphviz/%.dot
+	dot -Tpng < $< > $@
diff --git a/doc/Thesis.tex b/doc/Thesis.tex
index 901cf6f..8e5fca2 100644
--- a/doc/Thesis.tex
+++ b/doc/Thesis.tex
@@ -54,7 +54,8 @@
 %   references are stored in refs/refs.bib
 %   use a bibliography manager like JabRef (http://jabref.sourceforge.net/) to manage refs/refs.bib
 \bibliographystyle{abbrv}
-\bibliography{refs/refs}
+\bibliography{refs/refs, refs/rfc}
+
 
 %** end the document environment
 \end{document}
diff --git a/doc/appendix.tex b/doc/appendix.tex
index 0696187..d2d27b6 100644
--- a/doc/appendix.tex
+++ b/doc/appendix.tex
@@ -1496,3 +1496,5 @@ root@ESPRIMO-P956:~#
 \printnomenclature
 
 \abbrev{RIR}{Regional Internet Registry}
+\abbrev{NAT}{Network Address Translation}
+\abbrev{NAT64}{Network Address Translation from / to IPv6 to / from IPv4}
diff --git a/doc/graphviz/test.dot b/doc/graphviz/test.dot
new file mode 100644
index 0000000..1a95a64
--- /dev/null
+++ b/doc/graphviz/test.dot
@@ -0,0 +1,3 @@
+digraph G {
+    Hello->World;
+}
diff --git a/doc/graphviz/test.png b/doc/graphviz/test.png
new file mode 100644
index 0000000000000000000000000000000000000000..d5342df3c0f0b6bd60aaa5946e07f37f0dcbe662
GIT binary patch
literal 6709
zcmcI}WmHse)bD@@NQ<PPDCN)%(nu)Xof6U=14yc*ln6+NbR*pZ77BtG3`nQ^=>}=u
z&4+j0b=UoT7mJz28P0Q_*!x!#t*QQqnBXP>0)Ze_Qk2(*_b2e1iH{4f0SkJ?@P=!p
z@<<+Waru+iS(1c6(5@)SKhX8dTF>^^)HN9E$#u<phD-Ov!Je9mTIMP%BX=p*do2&;
zDzYzTrmu;tDTMT_m1MnD^<LA)(TQ32&n170<<ru-SDp8q1N-4)(+5}auG-)k(Y-x6
zI(J_>#=kS^Eh0G9#eP0B;Wf286?~lIbu#s@<B`m3UMs~3GE^hpLt`t7&j`MkR-tLA
z#w!`xT3XMZKgZV9*Uzu3BS&nV9(f^Cl%wPs4ULQ*+#$=e8_Ze4R8Z63x@Gy~3Ffo8
zQ^bRpJA2DIg~i2l?_c1Rcde~CQ&3YEpwZ^m0s8v-uX=5krn{skCMRcSXR%00Nr@Pw
z=$o3Fp5DK*PUgKoNv%{^R5W{fw5zDBEbHmXzq7lGg*ZFjf6?A94ma^V?nc}f6O(06
zk!4MK-_wID`E(C~P-G@gOH0c`qi;7hHX_W;wVphAf<z)^JUsZ|{=}4&@Yq-)8(Z7_
zh6W1kXNVWL#2-qv3V3b%X;d==ubrLz+pHU$3z=9V*IMutRnL)#zHv|ej<7IQczC$G
zw|7`qm-NGg+i^b&9$6o5&Aw}D8qOqDP*6}*QhES0e4Ui!adzyZYhdtka`M*QyLa)4
zi4|mI5MdwGb5U-g*<U}$P#>M2Z2s=)iC|@ACBny_u{htME-o(CF4IL7b8wZ`)Yt_E
zN{mz*$+@|?VL$E)KBJ+f?QQqngiqO?QY&z$dQGE)_O`e0B1mZY!{~&a9|s4c(e1-8
z1O9Emv-jzFA0x2b*Z$N>crTIB(b4TsHlE9uRaDHs;WAm8nUV4G^5Qn{NON#-I9^eA
zLsAgrNCjmiv8v_E+?knq|H6Oa>-8Y>(Kc#@GF?x2k~a!fY{+SAW5b*)8Bo0H+7>46
zyWu|7;ZH#jPA}@o%wyhBn&9fqp=@i*dgaO$2S>*~>C;)#{(%8Zk^hUkTwHNU_cV%O
z?AI(RhWh%&D!XmhFNfY;9B620STJ$x{G2J`w(_C!{f!$p<kD3irmObol&CNFRUYI+
zp?UVi(h3R*{Y|w9?v04RHM>9Tg5=<^HZ-IOm%TeuW1$f)`?gAHUEY6Z;aVgSt?Z*m
zkAmWACL_$+QCiI89>;sjl~q-k9^Eery?uT86%`zvot;Nek}g?(E{dwEg;iBt_f*rm
zS5{WyGnUhk8aWb{uxQc1L-#ky$=(gSBd_=Nyp@ZzadC0Axl?^Vg)Qa}4GsMm8A+X*
zn&RZ)*;Fj4k@Ve|cpDc-JRPvv880|untYXz>c{u*@kT~Qx0bi!W{1jj1o`-8r!UTZ
z)iNDf`v#>iR1p$E#|_1|Iuk1`x^kcuPB%j?DwG8F70Rlsi|gwJ{u|7#Y4xolqo)2+
zrc*+Wz~bfPjD_{yJKDKE5J610w6vs%NLDU7UA4IA%gD$u7<0C_pZWVOm6nq7bG_YQ
zlhLrz(8$Q|-@lW77pwg)Oh3+do<?WGlQ@yc9~14uNH(^+h_OF^8jd-a>j$Nn5Y;Bl
z>RbWQ(b1-LHrKG+|7}dVyzyc6@bJLtPEMxq$t*10uM1^HZA?T%4S)RkQ_GHr#M#*y
zffybhCd0>Zxt*%W>^Qpn@86e~lpJGRtE#N(S@_b@((qWbbz#S7&*fh%5`J5V>({T}
zLRAZ8gxRZ+`NTIzC^BnTR0<fO14T&~q$*#s*^@TPi~4TRU!ubDa#@O3TPQR7Xpt`P
za5j=g$dQ6oEh8+FlmYcsUsaWek&*G;(|t$PbpESOBh~AgL^1)YnZm?zad9nyM|H;g
z7=kQCMMW8R_jmg7%P-^TL;xu)N2<*<krZ3o+Yg{K>+0(6P{m-HZrr*R_c4-me(rM&
zuYiD@g9F>?*_p@wiXJmFv%R-ZQ)G7bt-!!QG6seOIFKe2iz*Hl4h}+db8}<y5vr?K
zuWlV2xNbLFevGi)2b{SM!@YaQiwKR5z7~9OGF_0Dhq$MnrP<z<pU+rn)=s68${n7b
zP8*uaV5+N2!EM$Sb_I`QX=C9$GBuSNCN)$(zLAoziPSVUCMeS_Z?txqU04VkZ+2@&
zLV=1)9WOCqF5tB6?d`i6E)Kug?n@ocTro5@E}yi})+Tp!bevgRo2cwqHpzPRDikWx
z-jiURF+~}3+jg81P(<#nroEuxQVihT$G$#->5z*~eUzuCC-BmfCj))!>+5%^V)X8+
zw|yELyNSVI95F7whcK__MMW&iDk_aARg+Ive4bujiJ6(>bA}!swPUD>i3tQ^bab@p
z_Q)4vH6^8M^z`&Y<rTwOb2BrcA3n%dWjPX`^DM-=gyozaw=_44C^GW%*BNzIR&oZO
z?T<MATix6wjh25t|0O|$V{l+V!NrBESR=Q(iOYu#iPQ`r&|KYc`t!~b=-^jh*>GuT
zDFUIZr}xYzMm(o@UhUsMfa*_C*O|6Hl1j^Pr!ol&QlzA$+<&@<3_jidV(a7N=%|Yd
zHnX*}i-c0J8m)WM;y#Pbs+xvC{He9ZqvA3S%geiyo$KW3S$EvEJ9ISJ6?B3+Siz{2
z@M&ysZxay{>q(wG{V&_s4+`ToPi~OQcvD<wz&}=m*!}xkNg7g?YHGwPDk`EO=Yaqk
zaM6ACLwNtUZ%j(8_wIT1C9~nkSXfx(i20Ob>R96$q`xaAvGOr8K3^TKy2R%_axw4C
zDM{?dFaa?PCg5OyYgUc`2mAbVcW})AUj#WNr9!%D@kXj~r=11Vi@c&@)Wboy*p9;L
zYLe;T6D}A77jSg{W?2Qw*_rbyHWrTsdSbh#pYCf<935bOFO;88rv1Tdr?Ccyy{)aK
zrS|_s;<K{ojZI8;V|dU%3e#=#C4x^4DPKA+U<3sP-9Lm~qnGgGU0q!jawtC%Kb8zQ
z(7Z#o1yqqC98_?)RFHtAiV-L08mlEM(5ukb;-u=@#`1H422gt@)14c9T*fpY&Z;aY
zcg5~|mQt-@e@jbCe43xj(Mm-Pk_^Aae|IrHW63Yf#@d>Rn$u8*kdSa=x~r?e)|~Dp
z9bGGQH*CPhpISLOow3j4925j8OaLK)+jHT<i)~y$y+kA=#ZZ(NM}r}bPU<2mcS&xE
z$vZhY9UmW~zF~~VfD8HhZ1~$+Tls{9^r%^Vn(dJS0!eONXTk&h{WO%6MQWj5&3AZs
z66$RS7!g2@hN*;+-tDhd-fFu4_dPpVkvX~7W}?w)#7U$uB{g*y&iSn&XEBh8wY9a+
zWOy)DJ{2XU2c}$)B3hpQzWbf7^W#-i0UdGn>1klKS^FE1G!6Cjmj`TUU{I1!z1MDY
zvOWKWh?KMhChp?ma<u)0K|nx2C)aF+qDZ^9!l1?z>IO!;MEJG(K|?LAw}Y<xUGX{0
zF)=YmpQ$b0Y2-@bbYEwB$SWo`_L!P(vdt$3_L^;SVgf(3>uA8OCE%ZHkQr@Pv6s9<
zer;_cEaVc~*b)`-L#3poOzUll=jZ3!oufF|*k)_3ztG&it!`&$hy57P<#N-DOG<p3
z#M#W=@RmSrrE;5nNEfhkKUg!m#Bk6nTRS`2e{Hw-_QE0~Bge4t)*q0=loUV(Y)rOC
z(uug<VPUyS${-b{i44olWssGX<$cme5lb&x$FWm~FiYVr5z3M9f4(|W!z3z7%f`m0
zsG(udsngupsBm$923UuKhllsoh9BhI-rDF5P-?(kWYO}a6%{W`xgS9}l~+_~nVQBz
zL4&4b;^83$zAfi`ghHXVc6UEsYC6va#n{`DH{pue(RD$~`}qw$ze_aqj?lNIgJS`Y
z^fF4z%h~mI8sSw?Sop)QU*uF&ROL3#BqSv6?(U(w><XJxowJLJxEdN7E$!_er>4*q
z8Z}%*CKNu=F)<$(dXu!w&Es<<15l0PV^;l5j!`rUd@`~5G<P0q5s?)jaig>-u6#ni
z#QI+u{r~0TeElXpIa%)1dD!`Zz6^frl9G~&gHk-iTg@ooBcJk+w!Cq!n@_jrt`=&u
z<w%E2xlTg)G2OlU_D07qwn?|2uN0X-^rs70Iv%gYm?9~xHYQrL7gAi8QTd4O4*%UB
zfBqcyiNO&F*!C|mCwQwgQ?T&zZl!!{QBzeVBPX{)Rs;zZo4jPCAgF!(9vd@tuPdVP
zd-K?mYTKmz^e4btIEt_O2}Xv7d4+{IaFE$+De6nXH-c_3J&e_KY2Chn)>Hs0^QFX*
z5xIrVz$YYh;tLZJ7PdM+Ju+KJbX{utNR6<uv3U%@GtkFOe(hyUOnV^R1Fj|XN9rxl
zN6@}J7&M2it!<jPud6Q=48wp%JcceRpQO5Z^Cqv`R0sEgVnEye*3}Nx^7*+r?AIXY
z<%5HR4T{2kQBDRNVuuEw9lxKRX6XJF-IYm*otG)e^5)xL5K0e#%Anfrrhdah$VHMU
zSXnWG$MHBn^+)hDZ`C(7MRaybuC1?+2kF}?(hO}CX(DxvR)H*aLqtVIk(`{m0lA-s
z-!(Rd>#~PuX42sj(S$y`f@d|;{S4aZIkYs%psZ7y@bm~Mw@ZbwuwVn8sl0AB9h{8Y
zG@1r9J=}z#rly9Lz%)<2e~(2TE$@?xskhT$W?^|hIH<v53T(;F!J(zC{d{iDih_zN
z9|$u2kJ>o%*yyMwn3b*l{m*H9)?{R4d1I(f!X?v7hch=fciGjTa_%rOU13bb{}@61
zqNb*1<pr&nw|&XPu)dz&tn|eZsq0in^w5y*>CQKvmXHgnFxk5iqzv)Em#W!fl-515
z%l)m&7x|z$=b<g4qNCsUCf(E0(YXQ=5L%fDiNv4pi4%z8a?eC^bN7ITOaxs*NX-pI
zf(J$rjM8T)!Rs_MrN3{rn9N2@Y0toE^7He*hHktx8{#O=f`Wqd%*=`!?tNK(eJc1%
z6t!lk=Qy#yI#QpPCu3o@BE{n&D~k=1UgnvMjEIOx@X_DY{=vZ!9}%+;>*LL>o`02r
z&tn)9qbw~gJ3=nd)$KpCk(c1u;xUgO`u_cUiGTx6N`mm}emV*;kQ4QGq<EyaRo`lU
z9j&+9{hlq}#$VHkOt>vM*WmCQKNKup2WmZon|_rFtki8W?<fG*OTz*p*wEa(x@t5&
zW@qj*A*k#4#l=N>F>fS~X-i&}z$8_;?E8?@d4}?{*v1K$QtNz)z{6M24tXgll(4eV
zA3yTqZqyL}{rfjIDk={Q)I_V7cv}D%5U^cgV0H6qYIp?r`Ne)MJ81ydXJ=(Ct*neC
z5)%pDcmjF?w#>B2IlZ_&5bZ%hNy&#qMv+H{!AgG@mL2B@f*_*6$C+qwNLsv&ehbIu
z1)fe&Kwy6MV<g6<I0tFc>{<j*MF*XTZOqcW)Gk}t`TNbm)%E+~p`TAi15aNf(<4}N
z<LK;e+#_JhgSF9y+S=L4cHi-eb4M*uhNBe*JRod!eQ%?fpfG)GRlvONE&bfv-*<6)
z)MXIE@4sX7)X#6p#-vy+Q~2kvU)qiL3}7i7?CdSJ12;3$(n|YC>F?(`CM6|(1T~F4
zbGSY4zdFoS6$n`If4QB_OgFS8$oZ4K<pRBsE><9TtJ<`X^W9tvy($+iD{Jd(AjPA_
zyc`EIgmAi3I1Ge2AaJ;cc&MPzXs@HGDI+c}o*n1};;Gf9mmGTruynj~<j<e49`ijv
zdwZ2ur9uXP!0kaoLCn#pSLC9Fjg3u1PM)t5NkB*l8>0^0$)2LD=Z``OgYcT1oHS_=
z_1|Gm<*}$1V9?gl8K(?q{;xm1fLaUeCNilP)|k;$Uf6KFxHw#80)~a3k%`IYIA4Z6
zWzM(j<QAxLcQ8$QtpFKdgI_=$-eF@aGs;X$qv_8OQn8cr_EAj>55KBkWgHH2h6=p6
zeWQ9sewLUIfx5anJ`vGStB%)VKNezbyjer<0O}Be4{XH2#$*M1>bJiw!DnJ13r9Yv
z|36krAt*=^0ia3>0YfM_lD@t^UN|k#Zh2ta)w<5lHba;sB<K?p6Af#vt^x%X$NY9l
zF{-znJ=*=R1+{LxN@?64+>^jC7*0sNa{7zKLh1l?P%-q>3hvy}&jQm{PnLkar3VmE
zU|3VZ(Yf+nyjo~-8NUxv48}|qFc**b=BMs%*be0!QLl)coSaJ=eZ0SVH0e9-vG6q!
zg!O#3xUVsh1s)0g3^2a#85K44@2M$so{t7M;QwP|W1ZJESG|;h##>#+g*!zBL78J~
zN~#52iujWQ7Yy_1e1i0AW;r=IlMVua>OyG0f1A_Om4Smfk^|1@i}MqlZkU~L#Xl!4
za8+<_hhQ%RE2wYYEH}_v>`(vr<HwI-lEy5ZWMvj$C6F$K&EJ|G@W;DCq`@g|FZAB<
z^Y^y|Dngi(SW;3_wgjCtvHz%!E-Yk*ETMaJwAJVcG6F1_#;u|Lej*T8H22+SID!DI
z2w-Dz-P|^9{{nd2l71irNa;e7$R+PE*0FQJ6ErLY=}H8I7~G~Up#zyB)-WH0Id`TP
z3iZ&`l)lMrI)3?gNi)9o*WO+%L~=@s5Jz)!bEF~XLkNu?qJdBmOQ&=Q@Lc8P<@yPY
zWD1;Amv#_j^;55}Fd1O{Q0=l$(4V>n@iKR0Ab5dgN?n|K_2)>oD~uP1%U&A3v4g$6
zp|7c|d>NlMI0*;{W|o%ztkmjnqO-EHUZtj%7?fm$(MUcOG&M8R`wPg6Fz>-{ZVLPk
zY)c-E^Cf}7O+P0yGiGeeST$G5j7b`tHUc4iwx?6?S)_dpGM+>(wXcJNZeB0#^(cT*
zpm-GANU(TrkbbqPqf()kkdWYY94ZwK$@~Lc2SfuEcoX&{kA3?87(0ZFkB<-q!Buv4
z_Ke1w%1Rsr2K~wUOT2=nCK<Fu3}i-co0_OZTqn9Q6$Y2u5?ZeOfNmJ*02{!AhR;eK
zsyg!=vJn-qDf$KmtLqytm@oE9q-%j|6^?)&z|IU9G)V@Z-oK}o@hK__{}TC4nw+&H
zSq?YaH!l-71Q8*jwWA}u62GWux=yj`T?AN_9jE~2UWk3XdSA16dwUl`2qb;7CJ+%B
zd3i-5<h<j1fhYNm8`tuxwhD*cqG19KmX_~f(#u1%Ogu&%etZys{TiNa$_?T&YfE-@
zb?wQ+zXi}Km#DZ`P95PAvvas@{ZgLMb+S!QdaCm+U`Pz)ogtXiGt8#W<(Xz=X0Gxd
zZ^kVGDFZu50CrTAcN!-{@)l1o`r55?|Bd?eht6oIn;*l&Zy16PEd%t%LmuU3XRASO
zH+_E4-19D<<aKK5BLf42<CBw$T`Gf4`!@{@g38R~5fKsPIfXa15+){0pZfcIfRy88
zW78^$KK8IMs5Z5%G4H$&eC`w1wLO6j%7iR){>NLn%e2lX(}C))KRDyImKOIPc@It@
z4;1{jLp%qc1L;^kethR!U!R~uxj&~zaIn;i7cbbzqYp6#7M)E_nqta&dX$jONn+3Z
zDpFxf{U#*zv$iw<=of^kHZ%Fp>FH@d%xMCkYFk^|uc@gVsK?Dx+I1@8qLPx`_2%hf
zO{9&V-(kfETXQGZY4iX@!rFJpAdyoYAAE3<Vyay9`r>$`>raUWgR!x(=jWG{8LEzx
z8K9QXCmZdT+C|uz23A*2Sl?!{3m))G*V($;+DHw90^@aRF5^98?nWmdG_Ya!0c64N
zUKRvkWLuVrPnTE=8l40AjASG+-9yCQ!NKCe`gl4t)oQg^%4Hb4KGwK4*)9TssGO{<
z-|?P9katmlR)&#=(kvcBVE1jwr=`Qc+$P&nK(+j`YZiO(R&xtr|8(!S#`5yA65{ga
zg8cln?Ch$+Y8^2aVnv<f%iYMj?|}{S!`;K<fxA2J^A|7pTqjy=Yr@*G!)2dAZZr?u
z8I_Rm1+<)&zCJFv#|~I7D9nd;MOT(j!$gURi7%6T$g}6>=M$5Y!>D=8yN8FV&}cMh
z(Qu#@ToU>ytSh(x@hc4>McUC&88%Oz%tE>jcJLAO2-IpgpaQr+92}g-kVW8=kVF84
zp??RTW>gPY;dJy1C%<_U0Tl*{nNdiHl9raXoNNdd-HpLe#>dCMQZ6dzd}vim136{6
z7=Y`mZ-2o=UP0*U>gGYav#_vSD)cA(Pfrg$1jZrOEf15t6v55Sz6Sr{u0GW=mMhbp
z0~jrL+Xb}M)YQyV?$+1V#%?vOCU{<2Ss5n#Hng=>6yh)(Y^<jTYu6wFN{P}gqX6Lw
z-*0rSusd^nDv9A!)tYi|3nA$px&FV-kfM9G8udX@pzfSBRfmAm1Znjcz6U}mDX7a=
I%RYYoKUeYB{r~^~

literal 0
HcmV?d00001

diff --git a/doc/plan.org b/doc/plan.org
index 0dd610e..c342b92 100644
--- a/doc/plan.org
+++ b/doc/plan.org
@@ -9250,7 +9250,8 @@ nico@nsg-System:~/projects/P4-NetFPGA/contrib-projects/sume-sdnet-switch/project
 *** RFC 6052: https://tools.ietf.org/html/rfc6052  IPv6 Addressing of IPv4/IPv6 Translators - first NAT64??
 *** RFC 6145 IP/ICMP Translation Algorithm
     - Obsoleted by 7915
-*** RFC 6146 Stateful nat http://tools.ietf.org/html/rfc6146
+*** DONE RFC 6146 Stateful nat http://tools.ietf.org/html/rfc6146
+    CLOSED: [2019-08-09 Fri 10:29]
     - Referenced from Jool
 *** RFC 6147 DNS64 https://tools.ietf.org/html/rfc6147
 *** RFC 6586 for deployment experiences using Stateful NAT64.
diff --git a/doc/preamble.tex b/doc/preamble.tex
index b780ea9..ec45006 100644
--- a/doc/preamble.tex
+++ b/doc/preamble.tex
@@ -136,3 +136,5 @@
           }
   \makeatother
 \fi
+
+%\usepackage[pdf]{graphviz}
diff --git a/doc/refs/refs.bib b/doc/refs/refs.bib
index 73626e7..a61ef50 100644
--- a/doc/refs/refs.bib
+++ b/doc/refs/refs.bib
@@ -42,3 +42,9 @@
   author =    {Akamai},
   title =     {IPv6 Adoption Visualization},
   howpublished = {\url{https://www.akamai.com/us/en/resources/our-thinking/state-of-the-internet-report/state-of-the-internet-ipv6-adoption-visualization.jsp#countries}}}
+
+@Misc{wikipedia:_ipv6,
+  author =    {Wikipedia},
+  title =     {IPv6 transition mechanism},
+  howpublished = {\url{https://en.wikipedia.org/wiki/IPv6_transition_mechanism}},
+  note =      {As requested on 2019-08-08}}