Nun, nach langem googeln habe ich festgestellt, dass der DNS-Eintrag, der der Netzwerkmanager hätte sein sollen, nicht gemacht wurde. Ich musste das also manuell bearbeiten, indem ich die Datei /etc/resolv.conf editierte und das Netzwerk neu startete.
# Generated by NetworkManager # No nameservers found; try putting DNS servers into your # ifcfg files in /etc/sysconfig/network-scripts like so: # nameserver 8.8.8.8 nameserver 8.8.4.4 # DOMAIN=lab.foo.com bar.foo.com
Dies hat das Problem gelöst.