UNI Hamburg - Fachschaft Informatik/Namespaces