Regiomontanus-Gymnasium Haßfurt/Namespaces