There’s been plenty of speculation surrounding the rumored HTC One Mini, but according to a leaked document from European retailer O2 Germany, a phablet-sized HTC One Max may also be in the works, in addition to two new devices from Nokia called the Eros and the Mars. The HTC One Mini is expected to launch in Q3, and O2 Germany recently claimed that the handset would be available starting on August 3.

The HTC One Mini is still unconfirmed, despite numerous leaked photos and specs. The miniaturized flagship smartphone is expected to feature a 4.3-inch 1280 x 720-pixel display, Beats Audio and BoomSound stereo speakers. The handset will likely run Android 4.2.2 Jelly Bean, though its unclear if it will come with HTC’s latest Sense 5 UI, the flagship One’s quad-core processor, or an IR blaster. According to O2 Germany, the HTC One Mini will come in silver and black models.

The HTC One Max, previously leaked as the T6, is rumored to feature a 5.9-inch full HD display, a 2.3GHz quad-core Snapdragon 800 processor, 2GB of RAM, a 3,300mAh battery, BoomSound speakers, an OIS UltraPixel camera and a stylus. It may also run Android Key Lime Pie, suggesting its release date may still be a long ways off. According to O2 Germany, the HTC One Max will only come in silver.

The references to the Nokia Eros and Mars don’t necessarily line up with what we’ve already seen from the company. It’s possible the Eros is a code name for the EOS, which is expected to launch on AT&T as the Lumia 1020. The Mars has us slightly baffled – perhaps Nokia has yet another device coming soon?