Wed, 23 Jan 2013 15:42:47 +0100 Christian Urban using some abbreviations
Wed, 23 Jan 2013 15:33:26 +0100 Christian Urban tuned more
Wed, 23 Jan 2013 15:06:32 +0100 Christian Urban also polished uh_h proof
(0) -30 -10 -3 +3 +10 +30 +100 tip