Mikrozensus (Statistisches Zentralamt, 1972)