Wann gab es den ersten Burger King in Deutschland?