Short DAX at 6678 (it’s way above that now, but exactly one hour after the last post it was 6678, so let’s be fair).