On Dienstag, 19. Juli 2011, Alexander Reichle-Schmehl wrote: > Shall we change that as proposed by Felix on the webpage? we discussed this in advance to thhe conference and Justin gave a very good suggestion in <20110530103443.GB11328@xibalba.demon.co.uk> almost 2 months ago: Banja Luka in Republic of Srpska (Bosnia and Herzegovina) cheers, Holger