O2 Germany leak reveals HTC One Mini and One Max - and Nokia Eros and Mars