Der Vorfall ereignete sich gegen 13:00 Uhr. Bei dem Täter handele es sich um einen 72 Jahre alten Deutschen. Das Opfer war 55 Jahre alt und ebenfalls Deutscher.
Nach Angaben der Polizei hatte sich der Todesschütze schon am Vortag im betreffenden Krankenhaus behandeln lassen. Die Hintergründe der Tat sind weiter unklar.
dpa/okr
