I should also mention that I installed a newer kernel (kernel-desktop-3.19.2-1.2.x86_64) with which the problem is gone.