HTC One mini lands in Germany and Austria in August for €450