Brief van majoor H.J. van der Velden van het Korps Tolken, dat sergeant tolk Hendrik Johan Krol met ingang van 26 oktober 1945 eervol ontslag uit militaire dienst is verleend, d.d. Eindhoven, 29-10-1945

Brief van majoor H.J. van der Velden van het Korps Tolken, dat sergeant tolk Hendrik Johan Krol met ingang van 26 oktober 1945 eervol ontslag uit militaire dienst is verleend, d.d. Eindhoven, 29-10-1945 "Nederlandsche Strijdkrachten, Corps Tolken"