If a docking station is used the DVI-Output is also not recognized. There is a workaround that worked for some people (unfortunately I couldn't use it to get HDMI working).
Maybe this workaround helps other people: Workaround (ubuntuforums.org)
During my research I found other people with this laptop/graphics configuration, that reported problems with HDMI. (8530w on linlap.com