Das ist ja mal wirklich ein Spitzentipp!

Warning: The Samsung Galaxy S4 Mini (International 3G) is no longer maintained. A build guide is available for developers that would like to make private builds, or even restart official support.