Does somebody use Linux professional in the company? If yes, which Distribution? Does Debian be used also in the professional area or is the first election RedHat Linux?