Haberland Vilmos (1907-): Digitalized works