Hey TheGerbenstor, welcome to the forum!
I joined you in your search and couldn't find this firmware anywhere - not just on our site, but anywhere period. I checked with our team, and apparently it's because this is an AT&T firmware and AT&T doesn't release their firmwares over the official Samsung firmware channel. Sorry about that 