after reading a few german articles about this and juvenile detention in germany, it seems so. I havent found anything indicating that he will switch to a “normal” prison when he is 21, though i think being let out early on good behavior might be an option