Hofbräuhaus und Hofbrauhaus schließen den Markenrechtsstreit ab