View Single Post
Old 16 August 2016, 15:37   #4
Global Moderator

DamienD's Avatar
Join Date: Aug 2005
Location: London / Sydney
Age: 41
Posts: 11,532
Originally Posted by Korodny View Post
I assume you got the English version, that one might be rare indeed. The German version is not that hard to come by IMHO.
Good point; the HOL screenshots are German...
DamienD is offline  
Page generated in 0.04038 seconds with 10 queries