the film directed by michael verhoeven was based on the true story of who ?
anna rosmus