Christian Luca Lützenkirchen

You are right.

I was able to install the current version 2.1.14930 from minecraft.net/download page

So this ticket can be closed, I believe.