Würde gerne meine Heizung entlüften, aber niemand kennt diese Art von Entlüftungsschlüssel: rund, gezackt, 12 mm Durchmesser. Wie nennt sich dieser und wo bekommt man ihn?