Hi guys I really need your help.
I have ben trawling online for days on what headphones to purchase for mixing and mastering strictly EDM (House/techno).
I need to make a decision by the end of the day.
I will constantly travelling so they need to be durable.
I have narrowed them down to:
Sennheiser HD 600 (might need a portable amp to drive them though?)
DT 990 / 880
AKG K-712 Pro
EDIT Focal Spirit Pro (But I hear the build quality is bad which isn’t suitable for me) 
Is there any I have missed?
Any insight would be appreciated as I’ve been going round in circles for ages. Thanks