I'm neutral but @hferentschik  preferred the other form. Have you guys discussed it?