ماهو الرمز البريدي hofkirchen an der trattnach?