Berlin 2013: Remove withdrawn proposal.
Merge pull request #185 from jbraeuer/master

Berlin 2013: Remove withdrawn proposal.