Etwas zu hartes Wasser - Handeln nötig?

Hallo Forengemeinde,

als frischer Besitzer einer Rocket R58 habe ich eine Frage zur Wasserhärte: Und zwar hat das Wasser aus meinem Hahn laut Aussagen der Wasserwerke meiner Stadt etwa 9,5°dH (also damit muss man zumindest rechnen - die letzte Messung dieses Jahres ergab 9,1°dH).

Jetzt liegt die ideale Wasserhärte, zumindest soweit ich recherchieren konnte, etwa bei 7-8°dH. Da ist 9,5° zwar nicht viel mehr, liegt aber doch deutlich über diesem Wertebereich. Da zudem die Entkalkung einer DB-Maschine alles andere als einfach ist, stellt sich für mich gerade die Frage, ob in meinem Fall ein Filter sinnvoll wäre; andererseits will ich aber zu weiches Wasser vermeiden, da sich das dann wiederum negativ auf den Geschmack auswirkt.

Kurz und gut - was würdet Ihr in meiner Situation empfehlen? Filtern? Leitungswasser nehmen wie es ist?

Vielen Dank schon mal für eure Antworten.