Germany makes private 5G spectrum available for industry